" Kent Petersson" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Programming in Martin-Lof's Type Theory: An Introduction

Bengt Nordstrom, Kent Petersson, Jan M. Smith

1024 Kb

#2

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Bengt Nordstrom, Kent Petersson, Jan M. Smith

693 Kb